Functional Adaptive Programming A dissertation presented by Bryan Chadwick

Source URL: www.ccs.neu.edu

• Recursion
• Subroutines
• Method
• Object-oriented programming
• Theoretical computer science
• Tree traversal
• Mutual recursion
• Inline expansion
• Visitor pattern
• Multiple dispatch
• Generic function
• Generic programming

Datatype-generic Programming in Haskell An introduction ¨ Andres Loh Well-Typed LLP

Source URL: www.janis-voigtlaender.eu

C++ WORKSHOP What happens when you apply a generic programming approach to string management in C++? Kevlin Henney finds out The next best string

Source URL: www.two-sdg.demon.co.uk

• C++
• Associative containers
• Typedef
• Function object
• C++ string handling
• Functional
• Template
• Standard Template Library
• Generic programming
• String literal
• Iterator
• Sequence container

Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group

Source URL: repository.readscheme.org

• Programming paradigms
• Programming language implementation
• Functional languages
• Evaluation strategy
• Partial evaluation
• Type system
• Compiler
• Prolog
• Logic programming
• XPL
• Interpreter
• Generic programming

Source Code Rejuvenation is not Refactoring Peter Pirkelbauer, Damian Dechev, and Bjarne Stroustrup Department of Computer Science and Engineering Texas A&M University College Station, TX {peter.pirkelbauer, d

Source URL: pirkelbauer.com

• C++
• Iterator
• C++11
• Associative containers
• Code refactoring
• Generic programming
• Concepts
• Initialization
• Substitution failure is not an error
• Typename
• Template
• Sequence container

Deriving Generic Functions by Example

Source URL: community.haskell.org

• Data types
• Functional programming
• Programming language comparisons
• Procedural programming languages
• Cons
• Lisp
• List
• Relational operator
• Map
• ALGOL 68
• Generalized algebraic data type

Support for the Evolution of C++ Generic Functions Peter Pirkelbauer1 , Damian Dechev2 , and Bjarne Stroustrup3 1 Lawrence Livermore National Laboratory

Source URL: pirkelbauer.com

• C++
• Concepts
• Generic programming
• Template
• C++11
• Functional
• Type system
• Standard Template Library
• Monad
• Polymorphism
• Scala
• Iterator

True Sums of Products Edsko de Vries Well-Typed LLP Well-Typed LLP

Source URL: www.edsko.net

• Functional programming
• Data types
• Type theory
• Functional languages
• Programming language comparisons
• Fold
• Polymorphism
• Monad
• Generic programming
• Map
• XS
• Generalized algebraic data type

Monthly Report for June 2009 Contract No.: SP4705-07-C-0012 Funding Agency: Defense Logistics Agency - Defense Technical Information Center

Source URL: extract.cs.odu.edu

• C++
• Generic programming
• Metaprogramming
• Template
• United States Government Publishing Office

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Programming language comparisons
• Type theory
• Higher-order functions
• Fold
• Generic programming
• Map
• Type class